Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
721	DIMACS Series in Discrete Mathematics and Theoretical Computer Science Using Global Constraints for Local Search Alexander Nareyek Abstract. Conventional ways of using local search are dicult to generalize. Add to Reading List Source URL: www.ai-center.com Language: English - Date: 2010-04-02 04:54:45 Computing Constraint satisfaction Constraint optimization Local search Mathematical optimization Constraint Local consistency Constraint logic programming Constraint programming Software engineering Computer programming
722	Program Verification as Satisfiability Modulo Theories Nikolaj Bjørner Microsoft Research Ken McMillan Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-08-15 16:20:10 Applied mathematics Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Boolean satisfiability problem Prolog Predicate transformer semantics Theoretical computer science Mathematics Formal methods
723	design Editor: Martin Fowler ■ T h o u g h t Wo r k s Add to Reading List Source URL: martinfowler.com Language: English - Date: 2015-05-25 11:37:26 Cross-platform software Control flow Assertion Debugging Logic in computer science Software bugs Exception handling Null Java Software engineering Computing Computer programming
724	Microsoft Word - AbstractionSoSyM1072.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2013-07-03 05:47:55 Abstraction Philosophy of mind Data management Programming language Abstract art Concept Formal specification Logic simulation Abstraction principle Thought Mind Cognition
725	A Plan for a Unified Program of Research in Artificial Intelligence at SRI Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2006-08-03 14:13:36 Ethology Computational neuroscience Artificial intelligence Cybernetics Logic programming Question answering Robot Intelligence Philosophy of artificial intelligence Science Knowledge Open problems
726	Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:01 Logic in computer science Programming language semantics Predicate logic Reduction strategy Operational semantics Robert Bruce Findler Free variables and bound variables Eval Scheme Software engineering Computing Programming language theory
727	Call for papers 21th International Symposium on Logic-Based Program Synthesis and Transformation http://users.dsic.upv.es/~lopstr11/ 18–20 July, 2011, Odense, Denmark (co-located with PPDP 2011, AAIP 2011 and WFLP 2011 Add to Reading List Source URL: users.dsic.upv.es Language: English - Date: 2011-03-28 09:25:03 Computer science Computing Software International Symposium on Logic-based Program Synthesis and Transformation Logic programming Cyc
728	Fair and Balanced: Learning to Present News Stories Amr Ahmed∗1 , Choon Hui Teo∗1 , S.V. N. Vishwanathan2 , Alex Smola1 2 1 Yahoo! Research, Santa Clara, CA 95053, USA Add to Reading List Source URL: www.stat.purdue.edu Language: English - Date: 2012-02-26 10:11:37 Mathematical optimization Abstract algebra Operations research Entailment Matroid Dynamic programming Logic Mathematics Submodular set function
729	Automatic Synthesis of Rules for Planning in Belief Space Leslie Pack Kaelbling MIT CSAIL Cambridge, MAEmail: Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:44 Stochastic control Control theory Logic in computer science Partially observable Markov decision process Fluent Probability Markov decision process Statistics Dynamic programming Markov processes
730	The Balance Constraint Family Christian Bessiere1 , Emmanuel Hebrard2 , George Katsirelos3 , Zeynep Kiziltan4 , ´ Emilie Picard-Cantin5 , Claude-Guy Quimper5 , and Toby Walsh6 1 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-05-28 03:25:20 Constraint logic programming Constraint programming Local consistency Decomposition method

UPDATE